CBMC_GC_FLAGS += --bool copy --merge
include ../make_verifier.inc

